fix-bashims
authorDebian Open MPI Maintainers <pkg-openmpi-maintainers@lists.alioth.debian.org>
Fri, 14 Nov 2014 16:57:11 +0000 (16:57 +0000)
committerJulien Cristau <jcristau@debian.org>
Fri, 14 Nov 2014 16:57:11 +0000 (16:57 +0000)
commitb5ec78e27a0ec9961777a55af1feba2efbddf6be
tree8d2c041c440a0873c61c765cda524135638b5317
parent41b8527e1e3266192f14f1759eed04a216f27c92
fix-bashims

===================================================================

Gbp-Pq: Name fix-bashims.diff
orte/tools/orte-bootproxy/orte-bootproxy.sh